Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications

نویسندگان

  • Dimitri Chubarov
  • Andrei Voronkov
چکیده

We define a basis of solutions of a system of linear inequalities and present a general algorithm for finding such a basis. Our algorithm relies on an algorithm for finding a Hilbert basis for the set of nonnegative solutions of a system of linear inequalities and can be used in conjunction with any such algorithm.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Random differential inequalities and comparison principles for nonlinear hybrid random differential equations

 In this paper, some basic results concerning strict, nonstrict inequalities, local existence theorem and differential inequalities  have been proved for an IVP of first order hybrid  random differential equations with the linear perturbation of second type. A comparison theorem is proved and  applied to prove the uniqueness of random solution for the considered perturbed random differential eq...

متن کامل

A note on the new basis in the mod 2 Steenrod algebra

‎The Mod $2$ Steenrod algebra is a Hopf algebra that consists of the primary cohomology operations‎, ‎denoted by $Sq^n$‎, ‎between the cohomology groups with $mathbb{Z}_2$ coefficients of any topological space‎. ‎Regarding to its vector space structure over $mathbb{Z}_2$‎, ‎it has many base systems and some of the base systems can also be restricted to its sub algebras‎. ‎On the contrary‎, ‎in ...

متن کامل

Linear optimization on Hamacher-fuzzy relational inequalities

In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Hamacher family of t-norms is considered as fuzzy composition. Hamacher family of t-norms is a parametric family of continuous strict t-norms, whose members are decreasing functions of ...

متن کامل

PD Controller Design with H¥ Performance for Linear Systems with Input Delay

This paper presents H∞ control problem for input-delayed systems. A neutral system approach is considered to the design of PD controller for input delay systems in presence of uncertain time-invariant delay. Using this approach, the resulting closed-loop system turns into a specific time-delay system of neutral type. The significant specification of this neutral system is that its delayed coeff...

متن کامل

Hyers-Ulam Stability of Non-Linear Volterra Integro-Delay Dynamic System with Fractional Integrable Impulses on Time Scales

This manuscript presents Hyers-Ulam stability and Hyers--Ulam--Rassias stability results of non-linear Volterra integro--delay dynamic system on time scales with fractional integrable impulses. Picard fixed point theorem  is used for obtaining  existence and uniqueness of solutions. By means of   abstract Gr"{o}nwall lemma, Gr"{o}nwall's inequality on time scales, we establish  Hyers-Ulam stabi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005